TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

A presumption is an inference which the trier of fact must draw from a basic fact, in the absence of evidence to rebut the presumption. The compelling effect of a true presumption is what distinguishes it from the so-called "presumption of fact" which is a mere logical inference that may be drawn by the trier of fact.  1, fiche 1, Anglais, - logical%20inference

Fiche 1,  Justifications,  Français

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

A resolution method that reaches conclusions using logic; it is normally done by theorem proving.  2, fiche 2, Anglais, - logical%20inference

Record number: 2, Textual support number: 1 CONT

Japanese planners want their machines to handle millions of logical inferences per second (LIPS) - one logical inference equalling one step in a syllogistic, or IF-THEN, sequence of reasoning.  3, fiche 2, Anglais, - logical%20inference

Record number: 2, Textual support number: 2 CONT

Each logical inference involves a set of premises, a reason, and a conclusion. ... The student is finished when there is a set of logical inferences connecting the given statements to the statements to be proved.  4, fiche 2, Anglais, - logical%20inference

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 CONT

Lorsqu'il fallut formaliser des règles effectivement utilisées par les médecins, il fut évident que leurs inférences étaient moins des inférences logiques, (SI E alors H), que des inférences plausibles.  2, fiche 2, Français, - inf%C3%A9rence%20logique

Fiche 2,  Justifications,  Espagnol